$\forall$$a$, $b$:GrpSig, $f$:($\mid$$a$$\mid\rightarrow\mid$$b$$\mid$). SqStable(IsMonHom\{$a$,$b$\}($f$))